Iceland’s program with the IMFFridrik Mar Baldursson School of Business Reykjavik University Note prepared for the conference “Iceland´s Recovery—Lessons and Challenges” hosted by

Source URL: www.ru.is

• Economy
• Europe
• Bank failures
• Financial services
• Iceland
• Great Recession in Europe
• Icesave dispute
• Landsbanki
• Central Bank of Iceland
• Kaupthing Bank
• Icelandic financial crisis
• International Monetary Fund

Magnús Már Halldórsson ICE-TCS, School of Computer Science Reykjavik University 101 Reykjavik, Iceland

Source URL: www.ru.is

• Computational complexity theory
• NP-complete problems
• Combinatorial optimization
• Theoretical computer science
• Maximum cut
• Approximation algorithm
• International Colloquium on Automata
• Languages and Programming
• Algorithmica
• Halldrsson
• International Symposium on Algorithms and Computation
• European Symposium on Algorithms
• Graph coloring

Maximum Matching in Turnstile Streams ESA 2015 Christian Konrad Reykjavik University

Source URL: www.christiankonrad.de

Christian Konrad - Curriculum Vitae C ONTACT I NFORMATION Reykjavik University Computer Science Department

Source URL: www.christiankonrad.de

Graphical representation of covariant-contravariant modal formulas Luca Aceto Anna Ingólfsdóttir ICE-TCS, School of Computer Science Reykjavik University∗ Iceland

Source URL: www.ru.is

Axiomatizing GSOS with Predicates? Luca Aceto1 , Georgiana Caltais1 , Eugen-Ioan Goriac1 , and Anna Ingolfsdottir1 [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Science, Reykjavik University, Icelan

Source URL: www.ru.is

Local Approximation of Independent Sets and Coloring Marijke H. L. Bodlaender, Magn´ us M. Halld´orsson, and Christian Konrad ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland {marijke12,mmh

Source URL: www.christiankonrad.de

EATCS General Assembly 2015 Luca Aceto School of Computer Science, Reykjavik University Kyoto, 7 July 2015, 17:30

Source URL: icetcs.ru.is

EXECUTIVE PROGRAMME ICELAND SCHOOL OF FISHERIES A Professional Development Course at Reykjavik University, Iceland A programme for managers and specialists in the fisheries industry who want to develop and deepen their

Source URL: enaca.org

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design